Tag é condição de existência na matemática